set theory distributive law